Decomposability and its role in parallel logic-program evaluation
نویسندگان
چکیده
منابع مشابه
Program theory evaluation: Logic analysis.
Program theory evaluation, which has grown in use over the past 10 years, assesses whether a program is designed in such a way that it can achieve its intended outcomes. This article describes a particular type of program theory evaluation-logic analysis-that allows us to test the plausibility of a program's theory using scientific knowledge. Logic analysis is useful for improving the intervent...
متن کاملA Logic Program Schema and Its Applications
In t h i s paper we cons ide r a . spec i f i c type of l o g i c programs ca l led recursive-schema programs and show t h a t the c l ass of r ecu rs i ve -schema programs has s u f f i c i e n t e x p r e s s i v e c a p a b i l i t y , which provides an a l t e r n a t i v e simple proof fo r the resultby Tarnlund concerning the computat ional power of Horn c lause programs. F u r t h e r , ...
متن کاملStrategies for Scheduling And - andOr - Work in Parallel Logic Program
Recent parallel logic programming systems, such as Andorra-I, can exploit multiple forms of parallelism, and-and or-parallelism, in logic programs. In order to eeectively exploit both kinds of parallelism, such systems must address one problem not yet tackled in logic programming systems, namely how to distribute resources between two diierent kinds of parallel work, and-and or-work. This paper...
متن کاملDesigning and Implementing Training Outcome Evaluation Program Using ROE Logic (Case Study: Tehran Regional Electric Company)
The present study aims to design and implement training outcome evaluation program using ROE logic in Tehran Regional Electric Company. The study is applied-developmental in nature and a mixed-method (qualitative and quantitative) approach was used with regard to data collection procedure. The study adopted an evaluative approach based on the Kirkpatrick Four-Level Training Evaluation Model (20...
متن کاملDesigning and Implementing Training Outcome Evaluation Program Using ROE Logic (Case Study: Tehran Regional Electric Company)
The present study aims to design and implement training outcome evaluation program using ROE logic in Tehran Regional Electric Company. The study is applied-developmental in nature and a mixed-method (qualitative and quantitative) approach was used with regard to data collection procedure. The study adopted an evaluative approach based on the Kirkpatrick Four-Level Training Evaluation Model (20...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1991
ISSN: 0743-1066
DOI: 10.1016/0743-1066(91)90031-j